Methods of proof - PDFSEARCH.IO - Document Search Engine

Methods of proof
Results: 168

#	Item
61	http://www.diva-portal.org Postprint This is the accepted version of a paper published in Methods in Molecular Biology. This paper has been peer-reviewed but does not include the final publisher proof-corrections or jou Add to Reading List Source URL: uu.diva-portal.org Language: English - Date: 2015-02-11 07:28:27 Lipids Stereochemistry Carboxylic acids Polyunsaturated fatty acid Oxylipin Linoleate diol synthase Chirality 9Z Lipoxygenase Chemistry Fatty acids Nutrition
62	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science
63	Privacy and Verifiability in Voting Systems: Methods, Developments and Trends Hugo Jonkera,∗ , Sjouke Mauwa,b , Jun Panga a University of Luxembourg, Faculty of Sciences, Technology and Communication Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-09-25 07:33:00 Homomorphic encryption ElGamal encryption Probabilistic encryption Blind signature Encryption Ciphertext Goldwasser–Micali cryptosystem Cipher Zero-knowledge proof Cryptography Public-key cryptography Paillier cryptosystem
64	Flexible Learning Toolboxes project guide – Series 11 Teacher guide Add to Reading List Source URL: toolboxes.flexiblelearning.net.au Language: English - Date: 2008-05-04 18:57:23 Distance education Learning Evaluation methods Evaluation Flexible Learning Toolbox Proof of concept Project management Learning platform Quality assurance Education Educational software Educational technology
65	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
66	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations? David Delahaye1 , Catherine Dubois2 , Claude Marché3 , and David Mentré4 (for the BWare project consortium?? ) 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:57:11 Formal methods Automated theorem proving Logic in computer science Proof assistant Coq Mathematical proof TPTP KeY Formal verification Theoretical computer science Mathematics Mathematical software
67	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
68	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
69	Version: 2.0 Published: April 2013 Review date: April 2014 FAQ: Would my primary research idea be of interest to the DPFS scheme or the EME programme? Add to Reading List Source URL: www.nets.nihr.ac.uk Language: English - Date: 2015-01-20 09:19:26 Evaluation methods Health Research Clinical research Design of experiments Proof of concept Surrogate endpoint Clinical trial Epidemiology Medical statistics Medicine
70	Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper Add to Reading List Source URL: www.kneuper.de Language: English - Date: 2012-02-09 04:37:54 Theoretical computer science Science Formal languages Correctness Compiler construction Automated proof checking Formal proof Compiler Software development process Formal methods Mathematics Logic

UPDATE